| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Compilerbau | Fach-/Modulprüfung | 6 | 309090 | ||
| Vorlesung | 273913 | Mo 12:30-14:00 AH VI (2356|051) (×11) Do 12:30-14:00 AH V (2356|050) (×11) | |||
| Übung | 273914 | Mo 15:15-16:45 AH V (2356|050) (×14) Fr 13:00-15:00 5056 (2356|056) (×1) | |||
| Concurrency Theory | Fach-/Modulprüfung | 6 | 371825 | ||
| Erfüllbarkeitsüberprüfung | Fach-/Modulprüfung | 6 | 369796 | ||
| Graphalgorithmen | Fach-/Modulprüfung | 6 | 308898 | ||
| Vorlesung | 273113 | Di 16:30-18:00 AH II (2350|111) (×11) | |||
| Tutorium | 273114 | Di 12:30-14:00 Seminarraum i1, Raum 4017 (2353|017) (×11) Mi 12:30-14:00 Seminarraum i1, Raum 4017 (2353|017) (×10) | |||
| Graphzerlegungen und algorithmische Anwendungen | Fach-/Modulprüfung | 6 | 284100 | ||
| Vorlesung | 273986 | Mo 16:30-18:00 5054 (2356|054) (×10) Do 12:30-14:00 5056 (2356|056) (×9) Do 12:30-14:00 AH V (2356|050) (×1) | |||
| Übung | 273987 | Di 12:30-14:00 5054 (2356|054) (×14) | |||
| Infinite Computations and Games | Fach-/Modulprüfung | 6 | 284097 | ||
| Vorlesung | 270658 | Do 09:30-10:15 2350|009 (×11) | |||
| Übung | 270142 | Mo 10:30-12:00 5055 (2356|055) (×1) Do 10:30-11:30 AH III (2350|314.1) (×1) Do 16:30-18:00 AH III (2350|314.1) (×1) | |||
| Komplexitätstheorie | Fach-/Modulprüfung | 6 | 284084 | ||
| Vorlesung | 273990 | ||||
| Übung | 273991 | ||||
| Logik und Spiele | Fach-/Modulprüfung | 8 | 312369 | ||
| Fach-/Modulprüfung | 8 | 353559 | |||
| Vorlesung | 274138 | Di 10:30-12:00 2350|009 (×14) Do 12:30-14:00 I (1010|101) (×14) | |||
| Übung | 274139 | ||||
| Mathematische Logik II | Fach-/Modulprüfung | 8 | 312379 | ||
| Vorlesung | 268041 | ||||
| Übung | 266557 | ||||
| Modeling and Verification of Probabilistic Systems | Fach-/Modulprüfung | 6 | 309094 | ||
| Vorlesung | 273904 | ||||
| Übung | 273905 | ||||
| Parametrisierte Algorithmen | Fach-/Modulprüfung | 8 | 350393 | ||
| Vorlesung | 272981 | Di 08:30-10:00 5054 (2356|054) (×14) Do 08:30-10:00 5054 (2356|054) (×14) | |||
| Übung | 273068 | Mo 15:30-17:00 5056 (2356|056) (×13) | |||
| Probabilistic Programming | Fach-/Modulprüfung | 6 | 309095 | ||
| Vorlesung | 273906 | Di 14:30-16:00 5052 (2356|052) (×14) Do 14:30-16:00 5055 (2356|055) (×13) Do 14:30-16:00 S13 (1385|213) (×1) | |||
| Übung | 273920 | Fr 14:30-16:00 5056 (2356|056) (×12) | |||
| Stochastic Games | Fach-/Modulprüfung | 6 | 284044 | ||
| Vorlesung | 273984 | Mo 10:30-12:00 5055 (2356|055) (×1) Mo 10:30-12:00 Seminarraum i7, Raum 4116 (2353|116) (×8) Mi 14:00-15:30 Seminarraum i7, Raum 4116 (2353|116) (×1) | |||
| Übung | 273985 | Mi 16:00-17:00 5055 (2356|055) (×12) |